this_FILES = \
	gmp4player.1 \
	mp4creator.1 \
	mp4encode.1 \
	mp4live.1
man_MANS = $(this_FILES)

EXTRA_DIST = $(this_FILES)
